TAGs: Leading coefficient example